I see these at theaters all the time. Do they have a formal name?
They are apparently meant to represent two aspects of Dionysus (the god of fertility and procreation), but I can’t find anything to suggest that the representation itself has a name besides the simple description; the masks of comedy and tragedy.
There’s quite an informative site here about the masks and their history.