good idea, now a ticket delete from any one in the team is a hard delete, no way to recover, this should not happen.
either by accident or purpose a ticket should be retrievable for some time at least, a trash box which an administrator can configure would be a good solution.