Just an FYI for everyone else: you can hit the pencil shaped edit button next to a role in the User Roles section of Configuration\User Access & Roles to add the Delete Tickets permission to the role. A user with a role that includes this permission can delete tickets from the Actions menu in individual tickets and ticket overviews.