There are big notices in some of the malls detailing the law banning smoking in all enclosed public places. I think it was introduced in 2002. I expect the punishment is only a fine though.