Type the following command to kill the user:

# skill -KILL -u theuser


are there any better options?