What would you call a big theater?

A big theater can be called a playhouse, an opera house, a music hall, an auditorium, or an amphitheater.