[ noun ] a lien on the property of a taxpayer that the tax collector can use upon default of payment of taxes