Empty case

When some of the sorts of a case are exhausted, so that a compositor can set no more matter from it, it is said to be empty, although there may still be many types of other sorts.