In this case the best thing you can do is to kill the processes that are associated with the user that was logged in at that terminal.
Two step-by-step processes are outlined below that will help you kill the correct processes.
The first procedure is for when you know the "terminal device" the user was logged in on. The second procedure is for when you only know the username of the person that was logged in on that terminal.