Band structure definitions of metallicity are the most widely used, and apply both to single elements such as insulating boron as well as compounds such as strontium titanate. (There are many compounds which have states at the Fermi level and are metallic, for instance titanium nitride.) There are many experimental methods of checking for nonmetals by measuring the band gap, or by ab-initio quantum mechanical calculations.