Empty Compactified Semiclassical Wavefront Set Criterion