 Das Bergwerk ist Dez. 2015 geschlossen worden. Die Benennung "Ehemaliges Bergwerk ..." wäre deshalb meiner Meinung nach passender. 
Quelle: https://www.dorstenerzeitung.de/haltern/av8-erst-mal-kein-gewerbegebiet-42063.html?amp=true