Tipping is not required for box office staff or theatre ushers. You may want to tip the bar staff, and if the theatre has a restaurant (such as the National Theatre) it is usual to tip waiting staff.