You can archive and permanently delete users. Leads associated with an archived user will also be archived. Archived users can be restored and leads that were previously assigned to them will also be restored at that point.
Leads assigned to permanently deleted users will remain in the system as their main association is with the company they are linked to.