Names, however unique, can't be trademarked, so "Tigger" really is probably safe so long as the developer doesn't associate it with Disney. The potential problem is associating an actual product with the name. I can write a novel titled "The Sun Also Rises" but might not be able to trademark that name for my program.