"When the supply of lava stops at the end of an eruption or lava is diverted elsewhere, lava in the tube system drains downslope and leaves partially empty cave-like conduits beneath the ground."

 

 

https://en.wikipedia.org/wiki/Lava_tube