I would ensure I killed off all the existing sessions for the user though by clicking Log Off on the admin user page.
So my full process would be:
- Make user non-staff, revert any TL that was set manually.
- Add title “former employee”
- If it ended on bad terms: suspend user forever
- Head to admin user page and click “Log Out” on user admin page.