In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core and Alexander quandles) is established. Further, residual finiteness of automorphism groups of some residually finite quandles is also discussed.2010 Mathematics Subject Classification. Primary 57M25; Secondary 20E26, 57M05, 20N05. Key words and phrases. 3-manifold group, enveloping group, free quandle, knot group, knot quandle, peripheral subgroup, residually finite quandle.