One cannot deactivate a user in Marketo. We can remove all roles, or delete it (which means it has never existed...)
We should be able to deactivate a user forever. It would not be counted in licences and we would be able to filter the user list to show only activated or deactivated users.
-Greg