Shell02,
I would try deleting the user, if I couldn't get to their machine to log them off. Locking the database does not affect people already logged in. It only prevents additional logins. Also, you may have to run a search for files they had checked out and run 'Undo check out' on them.
Jerry