From the three theatres with restaurant I know, all of them have at least some tables outside the main hall/spectators area to be used by non-theatre-guests. So they would qualify as amenity=restaurant which I would put on a second node.
I like the idea of restaurant=yes for the theatre-node. It is a bit like bench=yes on a bus stop is mapped additionally to the bench itself.