If I ban a user they don't get logged out. For most cases this is fine since they can't post or do anything on the site, but they can still use plugins, unless you specifically check if they're banned.
Just thought it would be useful to make sure the user gets logged out by deleting the session code or whatever.