When a user leave a team, we remove all its access to cards and projects. Mention, activities and assignments are kept but filters using the removed member username still work only if the user doesn’t delete his account.