非空的循环单链表head的尾结点p满足

非空的循环单链表head的尾结点p满足的条件是 p->next==head。

解释如下：

1. 在循环单链表中，尾结点的next指针指向头结点，形成一个环。

2. 由于尾结点是链表的最后一个结点，它的next指针指向头结点，即p->next==head。

3. 选项A、B、C均不符合循环单链表的定义，因为它们表示p指向空节点或头节点本身，而不是头节点的下一个节点。

因此，正确答案是选项D：p->next==head。