tax lien - lien of which a tax collector may avail himself in default of taxes (analogous to a judgment lien)