Those are very cute!
You should hand-wash them and maybe add some pure vinegar to the detergent. That may get the cigarette smoke out. Then air dry flat. Once dried, if the smell is still there, sprinkle w/baking soda as this will help get the smell out too.
If you must machine wash them, put it on cold water delicate cycle...i'm afraid of shrinkage!