On the mines I’ve worked on, we’d say a particular area/seam was “mined out” but the overall ore reserve was “depleted”
A mine becomes unSEAMly. 
Seamless?
Sent from my iPhone using Tapatalk
The official industry terms:
“Played out like a 60 year old hooker.”
“Emptier than a politician’s promise.”
“More barren than your grandma”
“Easier pickings Sunday night, at the end of a three day yard sale.”
“Scantier than a Chinese buffet before closing time.”
“A good place to throw your trash.”
“Take a colonic irrigation to get that hole to spit out a nugget.”
“Even more dried out than your sister.”
“Most valuable thing left down there are the memories of the time I boinked your girlfriend while riding the lift, and you can’t sell sentimental value.”
“Baby? Check. Got that. Afterbirth? Check. Got that. What the hell else you think’s coming out of that hole?”
“Fished out”
“Crapped out”
“Kaput”
“Closing time”
"Only thing left to do is sell it to those guys on “Gold Rush.”
I don’t doubt it…my post was just a tongue-in-cheek reference to resource gathering in Starcraft, while also backing up the posters suggesting “depleted” and “exhausted” since those are the terms used when your resources start running out (and I’m sure the more colloquial “played out” is/was extremely common in regular use, especially by crusty old turn of the 20th century prospector types 
)
So, the trouser mine was depleted?
I read it as “A lake dries up a mine”. And thought of the time a mine both dried up a lake and ended its own life (i.e. dried itself up economically) in the process. See Lake Peigneur - Wikipedia for the facts and Lake Peigneur: The Swirling Vortex of Doom • Damn Interesting for the colorful version.
I was hoping the OP had a link to some new bizarre disaster like that.