Usually with recently destroyed/removed buildings, you'd tag them in such a way that it is clear to a mapper using satellite imagery that the houses they might see in the imagery do not actually exist any more. Someone made that change https://www.openstreetmap.org/changeset/182011741, you can see the building contours are now tagged demolished:building=house
Once they do not show up any more on the common imagery, they can be deleted altogether