Vault. An arched ceiling or roof of stone, brick, or concrete, sometimes imitated in wood or plaster.
-- John Fleming, Hugh Honour & Nikolaus Pevsner, 1991 The Penguin Dictionary of Architecture Penguin Books, London, England