Demoted domain controller still in Domain Controllers OU and AD Sites & Services
Solution 1:
From a command prompt on the remaining Domain Controllers run the following command:
nltest /dclist:YourDomain
If they all have a consistent view of which DC's exist and none of them list the demoted DC, then just manually clean up the demoted DC in ADUC, ADS&S, and DNS.