mine out

• 采完，掘光(某矿山、某矿井的)矿物：

  The whole area has been mined out, the miners have left and the town is empty.

  整个地区已采完掘光，矿工走了，城镇也荒凉了。