Je suis biaisé vers l'IndoorMapping mais j'irais plutôt sur du `room=classroom`[1] ou `room=lecture_hall`[2]. Le wiki[3] indique le `amenity=theatre` dans le cadre de pièces [de théatre], ou de concerts.

[1] https://wiki.openstreetmap.org/wiki/Tag:room%3Dclassroom
[2] https://wiki.openstreetmap.org/wiki/Tag:room%3Dlecture_hall
[3] https://wiki.openstreetmap.org/wiki/Tag:amenity%3Dtheatre