1. Noun. An overhead cavity in a cave or mine shaft caused by a fall of roof. ¹
¹ Source: wiktionary.com